
#ifndef __MENU_WIDGET_
#define __MENU_WIDGET_

#include <gtk/gtk.h>

GtkWidget* create_main_menu (void);

#endif /* __MENU_WIDGET_ */
